'ResB ) ) i~(= X` `