let
solve = force_self 0 []