There are many different kinds of flops, but in the commercial theatre, at least, there’s only one true definition of what constitutes