Disorderly Programming: Experiences and Conjectures in Distributed Logic