Complementary validation - proofs, programs, and prose | Heykuki News