Question 320732
Valid
I would say transitive logic gets you there.