Before elimination of m