Which is the best subtype system?