kirtapp: Proofs-18