Just a note to myself (I may do in a separate PR) that this should probably be "SHOULD", since bad definitions are going to be one of the reasons for voiding statements.