libnormalform_imply_checked.3