[Davidzheng]

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.

[jlev1]

I agree.