abstract, reduction, 10-10