How I cleanly defined a recursive sizing algorithm based on notions of multiple passes, immutability, and consistency in representation