proper logic for conditional