sheaves are ptesheaves which satisfy two additional axioms, called usually s1 and s2. failing s1 is enough to give a counterexample.