Minor extension to paradigms/logic.lua