These dynamic and static models could be used to derive all the read methods too, if we went through every permutation that you enumerated in your analysis.