Too true. When we translate complex concepts to code & math, either may inadvertently not be exactly what we wanted. Interesting to think about a formal code v

Too true. When we translate complex concepts to code & math, either may inadvertently not be exactly what we wanted. Interesting to think about a formal code verification system that maintained a connection between all four prime artifacts: natural language description of problem as understood & intended solution, vs. code and the properties actually verified.