DanielFilan comments on Project Intro: Selection Theorems for Modularity