⁶The correct definition is even more difficult.