Note on: The Logically Simplest Form of the Infinity Axiom