Measurer of All Things: John Greaves (1602-1652), the Great Pyramid, and Early Modern Metrology · Study