Papageorgiou, K.; Lekkas, D. Verification in Theory and in the Sciences. EML 2020, 25-48.