HOL AUF, $PENGU 🐧