Wie verder wil oefenen met afleidingen in Hilbert's systeem, en wie daarbij geautomatiseerde feedback wil ontvangen, verwijzen we naar de Logax omgeving.