Loose Modularity, Lumpy Logic