New: witness-categoy