Promote r←∧y

r is y with a 1-length leading axis introduced.