the basic conditional probability. you have to feed in the relevant mathematical statements as args. thats it.