är en logisk följd ,eli