It is currently an open problem whether the second machine class properly extends the first machine ...