yeah I think it's probably correct -- this is actually insanely simple (except for the fact that the codomain as described is not obvious isomorphic to A^3.