OpamMisc.ABSTRACT