cases that covered by the algorithm