deep conditioner subgroup of conditioner, 3 assertions