module Logicality::Interpreter