"1"^^ . . . . . . . . "reduction principles"@en .