Post 2 ratio proofs

and also post speedtest!