rephrased assertion per mihai's suggestion