so assumption.fail() is not right--but i just cannot test this branch for now