drop bear
Sr. Grandmaster
You can't actually devise a proven system because you can only prove a system after it has been devised.
Chicken and the egg.
You devise a system on proof. Then prove the system. Then use that proof to devise that system again.