writing a program is for expressing logic