rephrased assertion per mihai's comment