NEW: Prolog Math works fine.