public function __toString() { return sprintf('state(%s(), %s)', $this->name, $this->util->stringify($this->value)); }