Verified that the translation is sound, the problem occurs in attempting to expand out the g