Formalising Performative Interaction · Study