Don't claim var^+ is over estimate

closes #25