For @simd, clarify what user is asserting versus what is nessary.