atp ( t tp ( t p ( t ( tt