can you prove your solver is complete?