question on using the full_reduct function (14f2033a702059b4)