Report Quote #12266
Rose: I gave you 35 minutes of Happy Time, last class, to just do the Fitch-style proof packet. Stein: You have an unusual definition of "Happy Time".
Rose: I gave you 35 minutes of Happy Time, last class, to just do the Fitch-style proof packet. Stein: You have an unusual definition of "Happy Time".