Inserted the definition of programming logic.