Syntactic modularity by Hermon