In this case, I'm equating logic with literacy, which is more than reasonable. And it also happens that logic and programming are extremely similar (isomorphic, even).