Ibrahim, Abram, Abraham, and Brahma: What are the differences?