Tight closure/Monsky-quartic/Explicit non-inclusion/Fact/Proof