Covert modality in non-infinite contexts - Bhatt, Rajesh, 1973- (Interface explorations, 2006)