Summing up program theory · Study