Note that as I am off from today (study leave)
I will not be checking in regularly at this
forum.
I will check this forum once on Wed. evening for
any last minute discussions, so if you spot any
errors in the posted material, let me (and the forum)
know well beforehand.
Just a quick note; I may have made a typo that incorrectly
explains what an entailment is. Please doublecheck the
definition of entailment that I gave.