[NOT] SUBSTITUTABLE AT ALL LEVELS