Passig modality identifiers as arguments