First HOL Slave to sit on the primus throne has happened!

Printable View