En abstrakt resolution , baserad päen