Basic assertion verification working (again).