More Case Instance logic