Added the secondary reducer for arrowing (3,5)^e