Electronic Appendix to "Input Invariants"