added simplicidad-reduccion