Another kernel property.