bit of explanation re: End as permutations of trees