WILLA-JO - Proofs