Update LOGIC.v