Button, T; Trueman, R; (2021) Against cumulative type theory. Review of Symbolic Logic 10.1017/S1755020321000435. (In press).