Incomplete Internal State Distinction