• Works on logic / Boethius.