In section 3.2.1, it was discussed that temporal concurrency was very indicative of uniqueness of a class. The current architecture does not make full use of this. It might be possible to have a more complex PEP model, or to have meta-PEPs (parametrised events representing relationships between other events).