Fixed up Assert and Verify