I implemented this algorithm. It's quite involved. It took me a few months to put together ... and taking even longer to prove (leaving no doubt) that it works (always and forever).
A typical meeting today's was with my supervisor (she's a nice lady, don't read me wrong)...
Supervisor: "You need to define *everything* formally." (i.e. rigidly using crazy mathematical symbols)
Me: "Sorry, I thought I'd do it in English first."
Supervisor: "Well, I'm glad it's not in French."
Excuse my increased nonsensicalness (yet to increase further) in the coming months...
[Potential Grad/PhD Student:]
"So bro, let me see if I got this right... you're saying grad school is a degrading, demoralizing experience that sucks all energy and creativity from your spirit..."
[Grad/PhD Student:]
"yeah, something like that"
(Source: Piled Higher and Deeper, by Jorge Cham, phdcomics.com)
Du'as (for me) are recommended. Have a nice day.