more complete correction on the choice of the main definition