Title: Logic for social software