libnormalform_imply.3