Add more notes on totality checking

Fixes #16