Title: God-talk and verification