Utgående från satsen söktehan