cse373-lecture20-sp07