Somebody said this on the xcancel thread but this also means that the Dixmier conjecture for the third Weyl algebra is disproven