It proves he was well-versed in the history of computer science and was able to define exactly what he had achieved, even if it would take the world some time to catch up. 4. 6. An early frontrunner for Nakamotos real identity who was singled out in a New Yorker article, Lehdonvirta is a former video-game designer based in Finland. 7.
He changed the definition of his achievement.
( z0 change :ARG0 ( z1 he ) :ARG1 ( z2 define :ARG1 ( z3 achieve :ARG0 z1 ) ) )
(z0 / change-01
    :ARG0 (z1 / he)
    :ARG1 (z2 / define-01
              :ARG1 (z3 / achieve-01
                        :ARG0 z1)))
He changed the definition of his achievement .
z0 :ARG0 z1
z0 :ARG1 z2
z2 :ARG1 z3
z3 :ARG0 z1