Worth coding this as <= so it cleans up if asserts are coded to continue.