Logic for social software by