LogicILL(SC)