Added program 12.3.
Fixed a missing negative.