Check the correct R.reduce signatures. Explain the results.