take out selectors for records -- for derived records, these don't quite have the right type
take out selectors for records -- for derived records, these don't quite have the right type

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle