It’s actually a pretty charming idea to hang the paperwork from a gearbox repair right above the bathtub.
Why on earth wouldn’t a grandfather approve of that?

In case you weren't there, but are curious; the lecture notes are available here https://github.com/tomdjong/MGS-categorical-realizability/blob/main/MGS-categorical-realizability.pdf?raw=1

#Python users, don’t worry- a library is on the way! 😎