Keyword: contradiction 3