Reduceron paper is translated up to infix privimitive applications section