Appendices A Bernoulli-CRS Properties Let us define K R