In this lecture I will describe a framework for the Fredholm analysis of non-elliptic problems both on manifolds without boundary and manifolds with boundary, with a view towards wave propagation on Kerr-de-Sitter spaces, which is the key analytic ingredient for showing the stability of black holes (see Peter Hintz' lecture). This lecture focuses on the general setup such as microlocal ellipticity, real principal type propagation, radial points and generalizations, as well as (potentially) normally hyperbolic trapping, as well as the role of resonances.[-]