Just to be clear, we decided to keep this check and remove any setting of the stack's head in the Stack contstructor