ATERM: Updates and messages