Example One

if X = $\mathbb{R}$   x$\mathbb{R}$, the tripple $\langle y \neq 0 \rangle \; x := 1/y \; \langle x = 1/y \rangle$ is totally correct where $(x,y) \in \mathbb{R}$   x$\mathbb{R}$.