E is not equivalent to EF, please remove this from your cheat sheet. However EFEphi is equivalent to EF phi so you can keep EFE = EF on your cheat sheet. Also, EF is not equivalent to F, so please remove that also. For CTL, you have to ensure that after each path quantifier, next comes a temporal operator, and right before a temporal operator, there is a path quantifier. Not every CTL* formula can be translated to CTL.