Making assertions consistent