IMPERATIVE #1: FORMAL, INFORMAL