Akira (proofs)

moonilymoth