Is there a bijective mapping between the set of natural numbers and the set of all binary tree shapes? I'm pretty sure there is, but I can't find the paper I read about it