initial ex 9.12