Case logic evolution

(2)