Tekstiviesti: Varieties of constructive mathematics