Appendices ABernoulli-CRSProperties