Þetta ókeypis forrit gerir notendum uppástungulögfræði kleift að framkvæma aðgerðir á sama vellíðan og í boði í stærðfræðilegum reiknivél. Það auðveldar nemendum rökfræði með því að veita talsverða endurgjöf. Til að vera nákvæmur, með því að nota þetta forrit, er hægt að ákvarða hvort: (1) inntak er vel mótað og, ef ekki, af hverju ekki, (2) setningar eru tautology, mótsagnir eða óviljandi, (3) setningar setningar eru í samræmi eða ósamræmi og (4) rök eru gild eða ógild. Það framleiðir einnig sannleikatöflur sem hægt er að afrita í önnur forrit. Í þessari útgáfu er reiknivélin takmörkuð við merkingartækni.