Yes, that's exactly what I was thinking of. I'll document that we prefer these two forms, but not say that they're absolute requirements.