A program is a comment, a means for getting a precondition to what you want.