General-purpose DFS + Specs