Ex9.5-Ex9.6, Ex9.8-Ex9.11