Appendix B: Redundancy Revisited