@Modern_Industrial going to be talking about programs as proofs and writing documentation at this one.