private function minIn(RedBlackTree $t) { while (!$t->left()->isEmpty()) { $t = $t->left(); } return $t; }