[math-fun] RE : Logicomix