I don't understand what these two assertions are getting at.  Why "default"?