Theorem 10.13 Discovery