Also accept refutations == 0