Logics should allow for a strict-mode to raise exceptions during runtime, e.g. when variables don't exist.