/** * @return int */ function rightHeight() { return $this->right === null ? 0 : $this->right->height(); }