Monadic first-order logic