almost done with josephus