 Nietzsche quickly moves from the claim that being causa sui involves a contradiction, however, to an argument that depends on his picture of human agency. Nietzsche accepts what we may call a “Doctrine of Types” (Leiter 1998), according to which,