DerivedFrom
真理値