RE: Another strictness analysis wrinkle