Antoine de Scorraille comments on Formalization as suspension of intuition

[Antoine de Scorraille]

Agreed. It’s the opposite assumption (aka no embeddedness) for which I wrote this; fixed.