Sketch out local verification of assertions.