quantum mechanics simulation evidence used in automatic assertion