Being qua Being: A Theory of Identity, Existence, and Predication