Email Record: Formal Methods in the Methodology of Empirical Sciences :