add m and P
add P_cons and m_cons