definability indefinableness interdefinability undefinableness indefinability undefinability definedness refinability irredeemability reducibleness