First Order Logic

Aah. I like the API for this one.