I'm curious if increased adoption of formal verifications would increase migration of legacy COBOL to modern systems.