Premise: The portion of this present value not provided for at a valuation date by the present value of future normal cost is called the actuarial accrued liability.

Hypothesis: Actuarial accrued liability deals with the past value of future normal cost.
Relation: contradiction