--> with same possible (but currently unimplemented) optimization

m not None -> m is not None