public function isEmpty();
private function balance(BinaryTree $t) { if ($t->isEmpty()) { return 0; } return $t->right()->height() - $t->left()->height(); }