rbeezer/fcla — pull request #5 by jafontaine (2013-10-28 23:21:14+00:00)
Title: Solution to Exercise PD.T33: removed unnecessary "to" (Jenna)

Changed "If we instead to choose to prove" to "If we instead choose to prove". Line 479.