It is a nice property