it's a very nice property