a proposition is part of a theory