epitope-tagged protein immunolocalization evidence used in automatic assertion