consistency
conditionals