Newer

Proof.java is being revised.