'Cause I'm strong enough: reasoning about consistency choices in distributed systems