lifversatsen i förenämda deduktion är ganska osäker.