Checking: "Believing p is false is a subset of not believing p" - Let's talk about Sets Baby!