  We investigate the extension of Monadic Second Order logic, interpreted over
infinite words and trees, with generalized "for almost all" quantifiers
interpreted using the notions of Baire category and Lebesgue measure.
