Done: found bug, WIP: implement isSolved function