adding josephus