Talk:Mal'cev's criterion