Barwise_compactness_theorem loading ...