Hi Colin - sure, some interesting points here! I'd say that if the Creator is bound by certain logical principles, those logical principles are therefore antecedent to said Creator, which makes me question the greatness, omnipotence, and Prime Mover-ship of that Creator. It seems like such a God wouldn't be truly a God in the way we normally think of it at all, since logic came first and/or ties God's hands in certain ways. (Also, good point on modern carnivores, I only chose dinosaurs because they well preceded humans and therefore preceded the Fall of Man in the Bible which was given as a reason for animals starting to eat each other and introducing suffering into the world.)