Proof Girls are Evil