. "which shows that $a_{p+1}^!f = 0 = j_{p}^!f$ implies $a_p^!f = 0$ (it is this implication that I do not understand, related to my confusion is an earlier question of mine Showing morphism of sheaves is zero )" . . .