fixed dynamic witnesses