autodefinite