Working test for paper 3.1.2 assumption 1 case 1 (naive wormhole)