LoopSpace, changed/shuffled inequalities