... />
Whenever you start applying rules to arrive at inferences, do ... do you see what happens when V is in and "let ... is quite an amazing feeling when all those inferences come together ... with going methodically through the rules is that it seems unintuitive ...