Logicomix: An epic search for truth