In a subsequent paper, Montague himself, inspired by this one, argues that if modality is treated as a predicate, customary modal laws cannot be maintained, precisely because of the possibility of Gödelian self reference.