Post 2 ratio proofs.