more formal definition