Theorem 10.7 Discovery