trying to get a contradiction