ATP implementation complete. Many //todo items. Many bugs, certainly.