suspension lift subgroup of lift, 4 assertions