instance cases 0,1,2 revisited