correction adj-rule1/Relex2logic