Anijah and Tahj Proofs