Drawing a figure that is exactly right rather than nearly right — and proving it with the congruence you already have.