Conditional probability and independence