A concise, universal formalism suitable for reasoning about the Forbidden Dance.