Annika Benander Proofs