for the notion