More basic properties.