witness elimination

Empty