program verification   2 Stories