Case split + type point