3 ms·Do you know TLA+? You sound like you've totally missed the point.by sfdjrmw3 6y agoDo you know TLA+? You sound like you've totally missed the point.