crazy logic and weird dreams

"Teachers are either enthusiastic or unsuccessful. Teachers are not all unsuccessful. Therefore there are enthusiastic teachers." that statement can be expressed and proven in symbolic logic as follows, using Tx to represent Teachers, Ex to represent Enthusiastic, and Ux to represent Unsuccessful; also, pretend that the 3 in (3x) is actually a backwards "E", and that the greater than symbol is more of a horse shoe:
1. (x) [Tx > (Ex v Ux)]
2. (3x) (Tx * ~Ux) / (3x) (Tx * Ex)
3. Ta * ~Ua 2 Existential Instantiation
4. Ta > (Ea v Ua) 1 Universal Instantiation
5. Ta 3 Simplification
6. ~Ua * Ta 3 Commutation
7. ~Ua 6 Simp.
8. Ea v Ua 4, 5 Modus Ponens
9. Ua v Ea 8 Comm.
10. Ea 9, 7 Disjunctive Syllogism
11. Ta * Ea 5, 10 Conjunction
12. (3x) (Tx * Ex) 11 Existential Generalization

fun stuff, eh? and that's one of the shorter ones... one of the homework problems is supposed to take 26 steps.

on that note, i had a very strange dream last night. have you ever had one of those dreams where you're at a location you know, only not really? for example, you're your house, but everything about it is different? i definitely had one of those last night. i don't remember the whole thing, unfortunately, because it was fairly interesting. it took place at whitworth (only it wasn't really whitworth), in Mac and BJ (only they weren't really Mac and BJ) and the space between it (not real either). and it involved several characters from the show "boy meets world", and some other people that i knew but don't remember now. and i didn't even have anything weird to eat.

also, a belated happy 21st birthday to ben tkach, a quality individual, and to my mother, whose age shall remain unspecified.