Title: The Lux Proofs