Use assumptions to join multiple threads