DerivedFrom
条件法