Tahap 1: keanggotaan dalam prapeta memberi \(f(x)\in Y\setminus B\text{.}\) Tahap 2: nyatakan konsekuensinya terhadap keanggotaan \(f(x)\) dalam \(B\text{.}\)