First Order Logic

Maybe a small docstring here?