in a similar way. This formula was used in numerous computations of π, culminating with Shanks’ computation of π to 707 decimal digits accuracy in 1873 (although it was later found that this result was in error after the 527-th decimal place). With the development of computer technology in the 1950s, π was computed to thousands and then millions of digits. These computations were facilitated by...

The anomaly is quite puzzling in the context of the quite standard assumptions that (a) perfect eventualities denote result states (McCoard 1978, Dowty 1979, Vlach 1983, Kamp and Reyle 1993), and (b) UNTIL is a stative modifier. Both assumptions would predict unobstructed compatibility between UNTIL phrases and the perfect. The observed incompatibility becomes even more intriguing when we see t...