Can a computational agent verify its own source code? This is easy to accomplish for basic notions of verification, but for deeper safety properties, self-verification runs into paradoxes of consistent self-referential reasoning. We will explore some initial attempts to construct a "waterfall" of agents verifying successor agents, a partial solution inspired by parametric polymorphism in type...