It’s the kind of meta notion that makes undergraduate philosophers say, “Whoa!” Software today is so complicated that we need to write software to help us understand and construct the software we need ...