name the auxiliary dataset
get errors in a better way, handle output differences
send correct data to Invariant, output results to aux