See https://docs.google.com/document/d/1BpyncT9XPmtiHTlJyBpO9vVUIz6g1CRFpLL8rpoxy0M/edit