Implementing the enactor