Då man härwid utgår från principen af enfers