conditional knockin evidence used in automatic assertion