It’s a nice property