tag : logic-based coordination