First Order Logic

Maybe a small error message to tell a user what went wrong? Debugging can be a pain at times, if you don't know what exactly went wrong.