Faith and logic