Am I right in thinking that the concept of a social welfare function - which gives us a chance to specify that having you or anyone else as God-king is not the solution we want - is also considered part of welfare economics?