logic of recognizers 577807