Made proof of AI more similar to other proofs.