[ NOT ] SUBSTITUTABLE AT ALL LEVELS