public function gt($attribute, $value) { return new bAnd(new bNot($this->lte($attribute, $value)), $this->present($attribute)); }