Agrawal example 5.23