AB + ?A? = A:
	AB + AA = (AA), AB, (AA), AB
	AB + AO = (AA), AB, (AO), BO
AB + ?AB? = A:
	AB + AB = (AA), AB, AB, BB
AB + ?O? = A:
	AB + OO = (AO), BO, (AO), BO
"plus" + ?"plus"? = "minus":
	"pm" + "pm" = "pp", "pm", "pm", ("mm")
"plus" + ?"minus"? = "minus:
	"pm" + "mm" = "pm", ("mm"), "pm", ("mm")