Talk:Strictness analysis