Premise: The actuarial present value of benefits allocated to all periods before a valuation year is called actuarial liability.

Hypothesis: Actuarial liability is the actuarial value of any benefits allocated after the valuation year.
Relation: contradiction