Just a funny sidenote not having to do with the topic at hand. Sorry...
I have the Drumpfinator app for Chrome, which... if you don't know... changes the word "Trump" to "Drumpf" (you can look up the reason for that if you want) so the title of this thread read "Does 7-5-4 Drumpf 7-5-7?".
