public function atMost($maximum) { $this->cardinality = new Cardinality(0, $maximum); return $this; }