$M is too difficult