1) Checks proper exit conditions -> 5 pts
	b<a
	a < 0
	b>k
2) Shows pseudocode - 2 pts
2) Discuss run time - 3 pts