floor jack subgroup of jack, 4 assertions