Simplify the example test, fixing the error with let(pp)