User blog:WaxPlanck/Binary Set Theory Level 1