Amari Proofs