Tekstiviesti: Ways of proof theory