Orientation_(vector_space) loading ...