Tidiga tänkare av första principer som formaliserade ett problem som andra ännu inte har erkänt och bygger referensimplementeringen