Vector bundles and tight closure (Triest 2023)/Tight closure/Monsky-quartic/Explicit non-inclusion/Fact/Factreferencenumber