M -completeness is seldom monadic over graphs. Adámek, Jiří, Kelly, G.M. (2000) Theory and Applications of Categories [electronic only]