The key notions, at least in dimension 2, are fences, funnels, and antifunnels. They are geometric and visual concepts, which students find quite intuitive, but which also provide actual proofs.