Registre de correu electrònic: An intensionally fully-abstract sheaf model for $\pi$ (expanded version)