(a↔b)