eigenvariate variable free variable literal propositional variable subject eigenoperator schematic variable eigencomponent eigennumber