Specification for Tunnelling