Pair Logic Needs Work