require 'veritas/optimizer/logic/connective'
require 'veritas/optimizer/logic/predicate'