0804 without no_doubles