Premise: 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.
Hypothesis: The OASDHI is not involved with benefits at all. 
Label: contradiction