"proposition" . . .