no more stupid rotation bisimulation relation