I have stumbled upon the following definitions in a paper by Gavin Wraith.

**Definition 1.** Say a ring morphism $A\overset \varphi \to B$ is formally unramified if every $b\in B$ admits:

 - $b_0\in B$ which is a simple root of some $\varphi (p)$ for some monic $p\in A[x]$;
 - monics $f,g\in A[x]$ such that $\varphi (g)(b_0)\in B^\times $ and $b=\tfrac{\varphi(f)(b_0)}{\varphi(g)(b_0)}$.

**Definition 2.** Say a ring morphism $A\overset \varphi \to B$ is étale if there exist comaximal (generating the unit ideal) elements $b_1,\dots ,b_r\in B$ such that for each $1\leq i\leq r$ there's a $B$ algebra isomorphism $$B[\tfrac 1{b_i}]\cong \tfrac{A[x_1,\dots,x_n][1/g]}{\langle f_1,\dots ,f_n\rangle},\;\det\tfrac{\partial f_i}{\partial x_j}\mid g.$$

**Question.** When are these definitions equivalent to the modern ones involving lifts and square-zero ideals? (And how to prove the equivalence?)