Incremental_logic 9sc

Incremental_logic