Anora Fall ProofsAnora SPLIT Proofs