HEGEL/Shorter Logic (by K.Brinkmann & D.O. Dahlstrom)