Quorum: the decision log your team will actually use