monadic first-order logic