hydraulic jack subgroup of jack, 1 assertions