Theoretical Tunnel Mechanics