some assert on rotation matrix