the User's Supplementary Documents for BSD