seems to be a contradiction