Tämän ilmaisen sovelluksen avulla ehdotuslogiikan käyttäjät voivat suorittaa toimintoja samalla helposti kuin matemaattisen laskimen tarjoamat. Se helpottaa logiikan oppijoita tarjoamalla huomattavaa palautetta. Tarkemmin sanottuna tämän sovelluksen avulla voidaan selvittää, onko (1) syöte hyvin muodostettu ja jos ei, niin miksi ei, (2) lauseet ovat tautologioita, ristiriitaisuuksia tai ehdollisia, (3) lausevalikoimat ovat johdonmukaisia tai epäjohdonmukaisia ja (4) argumentit ovat kelvollisia tai virheellisiä. Se tuottaa myös totuustaulukoita, jotka voidaan kopioida muihin sovelluksiin. Tästä versiosta lähtien laskin on rajoitettu semanttisiin toimintoihin.