a nice property...