formal definitions update, more readable