Aimee Kate and Luke Proofs