. . "First-order reduction"@en . .