make precedence explicit in SOS