Janine (proofs)