Superposition: Types and induction. - Michael Wand 003 (2017)