Det är den under den gifna förututsättning,