AirForce:10.1090/conm/586/11642
AirForce:10.1090/S0002-9904-1976-14115-8