. art —

Year created:

2006

Because Why

A statement of propositional logic which holds for all truth values of its atomic propositions