Tekstiviesti: Generic Programs and Proofs