immuno-labelling electron microscopy evidence used in automatic assertion