Make the default reasoning more clear