do we have a formal definition now?
do we have a formal definition now?