What do you mean by "ForAll Today, TodayIAmMostly coding implies true"? Surely B->t == B? So it's as meaningful to say that as "ForAll Today, TodayIAmMostly making jam implies true". Or is that what you are getting at?
SunKitten: DidYouKnowThat cockroaches can't live on submarines? No, I found it hard to believe as well. It's more likely to be true than the bit about blowfly genitalia, though ^^;;