putting recursive amb, still a problem with set