proper conditionals