Theorem 10.12 Discovery