Steal Josephus from tcr. Otherwise most is here?