green fluorescent protein immunolocalization evidence used in automatic assertion