$forall name <- names
• #{name}