• Works on logic / Boethius