Document theory behind Leo logic's handling of unit rules.