Add a rule
Implement launch-related functions