formally smooth