formalized doc