Logical affirmation of Calvinism