Toward predicate approaches to modality. ([2016])