you guys think I can make them wet by talking about Computational Theory and the Myhill-Nerode Theorem? :P