fluorescence correlation spectroscopy evidence used in automatic assertion