imported information used in automatic assertion