Copy stuffs from "Sets as binary trees"