crystallography evidence used in automatic assertion