Now it is time that you can
make a man look into the case working
of these rules; that is, you can prove something about them.