strict type regression