The issue I often deal with involves “surjective” functions for deriving state (from other state slices). That is to say, several different inputs might output the exact same state. I want to avoid re ...