fixed up bhatt 2: perfectoid rings