ยง Rotation distance as a metric on binary trees