Dolores Partee physics-calculators3847