RT @aphyr: However, programs are not only symbolic: they are social constructs, and their correctness depends on clear communication with other humans.