Lots of completion-related rules