Kevin & I talk about Verifying Case Controllers