Implementing the ATP modules