premise: For pensions, the cost recognized by the employer entity is more than its contribution for employees who are covered by the Civil Service Retirement System and several minor systems (in a few of which the employer entity does not make any contributions toward the service cost).
hypothesis: The employer covers contributions for employees' pensions because it is a shared burden.