[math-fun] Hereditary Representation with 2's