... do you go methodically through your list of rules with each ... what you found with V being in and go methodically through your ... see what happens when V is in and "let the inferences fly from your ... is quite an amazing feeling when all those inferences come together ...