uabs_reducibility
uapp_reducibility