“We are computer scientists. We do not lack in faith.” (Ketan Mulmuley)