Under förutsättning att helalinien