public function __toString() { return "( not " . parent::__toString() . " )"; }
public function __toString() { return parent::__toString(); }