 A completely analogous argument shows that Mary was drawing a circle implies Mary drew. But postulate (20) only holds for the first part of accomplishments; the result part is only required to hold in every inertia world \(w'\) with respect to a larger interval \(I'\), normally one after speech time. Since the inertia worlds after \(S\) may differ from \(w\) and since the subinterval property (20) is not required to hold for the result parts of accomplishments, the stronger conclusion that Mary drew a circle does not follow. 