Logicomix: An Epic Search for Truth