Fixing #3606 continued (doc of Scheme Boolean Equality Scheme).