Public-key uniform emulation
$430.7