First-Order Logic door