I should like to ask something like: "Is it usefulness you are out for in your calculus? In that case you do not get any contradiction. And if you aren't out for usefulness - then it doesn't matter if you do get one