The weakly étale ring maps -- those which are flat and have flat diagonal -- have gained attention recently for their role in defining the pro-étale site of a scheme. We will propose a new definition of weakly étale ring maps via a lifting property analogous to the one used to define formally étale ring maps. We will use a result of Gabber on the cohomology of Henselian pairs to deduce the equivalence of the two definitions. If time permits, we will discuss an example of a weakly étale morphism which does not lift along a surjective ring map. This is joint work with Johan de Jong.