Abstrakt taget är svårt att förnekaprincipens