Added in optional justification code so justifications are only computed
when they need to be.