Is the OpenMath community aware/involved with the ISO committee working on Common Logic? See http://cl.tamu.edu/ for details. It certainly looks to me that replacing (some of) the logic* dictionaries with one based on Common Logic might be very advantageous, and might foster greater acceptance of OpenMath. Jacques