Formalising live performance hack