Clarify comments about apartness