beta-galactosidase protein immunolocalization evidence used in automatic assertion