public function withPostalCode($postalCode) { $new = clone $this; $new->postalCode = $postalCode; return $new; }