thesis update and rule languages examples