Is there a math search engine where you can enter assumptions and see what theorems exist that arise from some/all of those assumptions?
If my friend didn't pay postpaid bill, should I asked to come to court?