[x] [⇔]