[logic-ml] Logic, religion and science