conditional knockout evidence used in automatic assertion