Ronaldov poker, Mesijev het-trik ili Virdžilov pečat?