"We know that God exists because mathematics is consistent and we know that the devil exists because we cannot prove the consist