minor changes to formal def