Appendix D: Josephus Problem