if w is an inferior of a, then a is an ancestor of w

listen to the pronunciation of if w is an inferior of a, then a is an ancestor of w