Further formalization of NDXFile.