Put important aspects of program into specifications;