alist , utan tvärtom enteoretisk