an assume here and there
done with termination for all vector-algorithms