uapp_reducibility