Whether the second machine class properly extends the first machine class is currently an open probl...