Adding justification column and supposition rule.