spect to M) is a simple path, such that
