Under den förutsättning nämligenalt