Logic of SI reductions

Description

in process