the generators of a free boolean algebra can represent independent propositions. consider, for example, the propositions "john is tall" and "mary is rich". these generate a boolean algebra with four atoms, namely: