Refined Example8 and added Example9