Deeper explanation for one-line conditional reasoning.

Fixes #26