A proposition is part of a theory