@John Got it. All names and symbols need to be defined in the formulation of the question. Also, after reading through your comment, I think the proof I gave for Puzzle 31 is insufficient because I haven't stated a couple assumptions I made. I will fix the hole.