A few properties.