Question on using the full_reduct function