witnessFor
Protocol