progressing to valid trace