Text: If benefits would have exceeded taxes, the OASDHI trust funds make a payment to the Railroad Social Security Equivalent Benefit Account; if benefits would have been less, the OASDHI trust funds receive a payment.
Entailment: Regardless of the benefits amounts, the OASDHI is involved.
Contradiction: The OASDHI is not involved with benefits at all.