Propositi, proposizioni e surplus