Compactness operator in set theory etc by Wattel