be more clear about conditions in the reduction process

Fixes #36