genom beräkningar , men icke genom verkliga reduktioner.