section analyzing the properties of rotate shift