check store nullity in m.prop