Keyword: witness elimination