Totally agree. Both correctness and security are important, but they're not the only concerns in developing useful software.