ยง Compactness theorem as compactness of stone spaces [WIP ]