"proper" documentation