Some properties. A beginning for #2