predicate logic

Here’s some users with predicate logic in their profile.