St. Didacus Logic