First Order Logic

No. The are intended to be constants.