Description: Obsolete version of hbsbw as of 23-May-2024. (Contributed by NM, 12-Aug-1993) (Revised by Gino Giotto, 10-Jan-2024) (Proof modification is discouraged.) (New usage is discouraged.)