Geometry solver that draws the figure, writes two-column proofs and works area, circle and coordinate problems by hand. 3 free pages a month.