Keyword:
witness elimination