Example of a resistant BDP with constraint \(p\leftrightarrow\neg q\)