Talk:Chris Lovasz/@comment-1663902-20160405194144

Can we get a source of the origin of his name?