Resolving to Nothing Twice: Univalence as a Compositional Rule in an Anonymous Cycle of Disc-Notated Keyboard Studies…