Model M{ Node N{} Node O{} } M m0{ N n0{} O n0{} }