On August 6th 2011, Roman Opalka completed his work: “the finite defined by the nonfinite”