Following !229 (merged), this adjusts our update modality soundness statements to follow the same style.