I believe the superpower is the ability to prove correctness of the program easily. For most of us, this isn't a big deal. But let's say you're writing a subro

I believe the superpower is the ability to prove correctness of the program easily. For most of us, this isn't a big deal. But let's say you're writing a subroutine that will control part of a pacemaker, rocket, fighter jet, satellite- anything where bugs are deadly or expensive- then this is a Very Big Deal.