nice-the-middle-is-continuous strong diamond-is-indesructable