down in the middle's core by Maximal Synthesis