Covert Modality in Non-finite Contexts