concrete rules and abstract machines — Mathematics and the Theory of Multiplicities: Badiou and Deleuze Revisited. Daniel W. Smith