Correction on CTL Sample Problem

Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.

-James