Systematicians have to establish theological facts, and to do this they often use theological propositions.