predicate logic

Upgrade
Loading…