( Ho 2150 _ b ) _ b ) b ) (3