покажите NF ?
тоже весьма формально и почти официально.