It was very exciting, powerful mathematics; but even if that mathematics is correct that doesn't mean the system would be acceptable to use in practice because the vulnerabilities of a real system might be outside of that mathematics. 