Very nice property,