Generality explained: A truth-maker semantics

Abstract not yet added