A theory that generates predictive failures under controlled conditions cannot be considered formall...