abstract tunnel