documented has