D-INF verification