libnormalform_and.3