Ateana Proofs