Comment by RL_Quine

This article talks about something elsewhere entirely than the original one, and unrelated to the BMC.