As Slot and van Emde Boas argued, the choice of machine model and encoding can shift the boundary of...