⁷The definition we use for SM1-class is not literally this one, but is equivalent to it.