Vi har ikke lov å lukke antakelser når vi bruker $\bot$-regelen. Hvis vi ikke hadde lukket antakelsen $P \land \lnot P$, kunne dette ha vært $\bot$-regelen.

Her antar vi noe, utleder $\bot$, og konkluderer med negasjonen av det vi antok. Det er ikke det man gjør når man bruker RAA; da antar man negasjonen av en formel, altså $\neg F$ der $F$ er en vilkårlig formel, utleder $\bot$, og konkluderer med $F$.

Dette er ikke en regel i naturlig deduksjon.