A contradiction to a contradiction of a contradiction?