Left() and right() are better named left_child() and right_child()