Symbol: solvable_selfprovidedep