hypothesis elaboration and instantiation

• 假设推敲与用具体例证说明