Efter en vidlyftig deduktion,