Tight closure/Does not commute with localization/Fact/Proof