Translated by Austin Woerner.