Under antagande alt , iföljd