M6, depend unconditionally on M6