properly documented