Some thoughts about how to execute representational abstraction