libnormalform_implyl.3