Starting to explain about defos modules in non-flat case