Email Record: Formal methods in the methodology of empirical sciences :