It should be easy to write correct programs.