done: extends?
done: extenders
done: satisfies?