Block-dependent witnesses