[todo, thesis] use |F=*, m_F=*\rangle instead of |*, *\rangle