X86 pop instruction bizarre semantics

in an instruction, say pop [esp], the esp value in the effective address calculation should be an updated one. And if memory store raises #PF the esp value should be the one right before instruction execution. Oh Jesus.