Pattern comments on Project Intro: Selection Theorems for Modularity