BILLIE: Proofs