Got 'sorted_tree (build t)' reducing to 'True', but somehow I've broken 'sorted (flatten t)' reducing to 'sorted_tree t', I'm so close...