8: You should get
Do not forget to specify the set of validity of this expansion.
Answer