Demonstrating formally that the second machine class is not realistic would require proving separati...