Zur Logik des kontraktualistischen Arguments