Corrected code snippet on website. Yield the person u, not the predicate p.