obtained by a reduction