A-normal_form loading ...