Description: Obsolete version of nfabd as of 10-May-2023. (Contributed by Mario Carneiro, 8-Oct-2016) (Proof modification is discouraged.) (New usage is discouraged.)