FORMAL-BEE (84)