Proofs - light-scape