supertype ancestor