libnormalform_implyl_checked.3