Have you proved it yet?