Contradictions


p & -p (Eric is in rm308 and it is false that Eric is in rm308)

Once we believe a contradiction, we're lost; we can conclude anything.