Structural Logic Macro Update