Ordered lambdas in example.ag by use