. We develop the theory of canonical and pluricanonical adjoints, of global canonical and pluricanonical adjoints, and of adjoints and global adjoints to an irreducible, algebraic hypersurface V⊂ℙ n , under certain hypotheses on the singularities of V. We subsequently apply the results of the theory to construct a non-singular threefold of general type X, desingularization of a hypersurface V of degree six in ℙ4, having the birational invariants q 1=q 2=p g =0, P 2=P 3=5. We demonstrate that the bicanonical map ϕ |2KX| is birational and finally, as a consequence of the Riemann–Roch theorem and vanishing theorems, we prove that any non-singular model Y, birationally equivalent to X, has the canonical divisors K Y that do not (simultaneously) satisfy the two properties: (K Y 3)>0 and K Y numerically effective.