New directions in formalization and historical analysis