Constant true, constant false, equality are always present, even implicitly.