phrase dfs as fold