First Order Logic Cheat Sheet