This is a really nice property.