inf : reg .)