rt，感觉状态的设计以及结合律的证明还是需要动脑子的