#BooleanCompactnessTheorem