DOC: expand gotchas/basics on boolean reductions