Proper default