Some properties

A beginning for #2