strictness; corrected IncLocal