Atomic Proof completed.