Map of ProPlus Logics