“Arvind Krishna claims that moving typical mainframe workloads to the cloud would be three times more expensive.”