Theorem 10.9 Discovery