tu ‘ * r3 ‘ *r3