a . följande deduktioner,