AnnaAnna and KatieKatieSB Proofs