default_not