Add topcat formula.

Closes #140.