Ohio State nav bar

Clause-embedding predicates workshop