2 feels weird. At no points does it say that dragons are creatures so to me the first part cant be chained unless I make the assumption that dragons are creatures

@Briell White In addition to following the form rule (you can't walk backwards in an arrow) which is explained above, I also considered here the option that Kumar arriving 17 minutes late does not NECESSARILY mean that he was cited as late. For example, maybe no teacher caught him walking in late.

The sufficiency vs necessity here is that if we take for granted that Kumar was cited then he necessarily arrived 5 minutes late. But Kumar arriving late does not necessarily mean he was cited (consider the example above).

I think I could get confused by the subscript X^A. Would this work equally well or would I have issues?

A -> B

X = A

Therefore, X = B

In short, I want to replace ^ with = (easier for me to comprehend) and want to make sure that will have logical issues later on

@ThierryLubin I think since the argument states that Walt has a Genie+ pass and the conclusion is based on this then it doesnt matter if non-members of the Disney Vacation Club also have access since its irrelevant info.