Love the focus on verification instead of just generating fixes.