Documenting CONJOIN, DISJOIN, and CURRY.