... if you know that V is in, do you go through ... see what happens when V is in and "let the inferences ... naturally, and while it is quite an amazing feeling ... methodically through the rules is that it seems unintuitive. ... I feel that it is much more intuitive to ...