Functional: MIRANDA, ALICE, 85 D, 85 E