The following pages link to ACM Comm 2016 11 Sex as an Algorithm (Notes) (The Red-Blue Tree Theorem):