finna och kontrollers , och med dem är också beviset för problemetslösning