Tekstiviesti: An Introductory Logic.