A Closeness- and Priority-Based Logical Study of Social Network Creation