Weapon II: Universal Patterns
		Problem: At inference time, many algorithms n convert objects to propositions n recreate the repetition we wanted to avoid Robinson [1965]:  Lifted theorem proving n Do proof using variables x n Only make distinctions about x  that matter to proof