Candidate:  First Order Logic