2 De programmatheorie