For those interested in Bertie you may find Logicomix (https://www.logicomix.com/en/index.html) an entertaining read