Akas Proofs