Ši nemokama programa leidžia pasiūlymo logikos vartotojams atlikti operacijas taip pat lengvai, kaip siūlo matematinė skaičiuoklė. Tai palengvina besimokančius logikos dalyvius, teikdama nemažą grįžtamąjį ryšį. Tiksliau, naudojant šią programą, galima nustatyti, ar: 1) įvestis yra tinkamai suformuota, o jei ne, kodėl gi ne, (2) sakiniai yra tautologiniai, prieštaringi ar neapibrėžti, (3) sakinių rinkiniai yra nuoseklūs ar nenuoseklūs ir (4) argumentai yra teisingi arba netinkami. Jis taip pat sukuria tiesos lenteles, kurias galima nukopijuoti į kitas programas. Nuo šios versijos skaičiuoklė yra apribota semantinėmis operacijomis.