Int., vaulting; 1709-1715