Research is ongoing to simplify the proof of this classification