See https://docs.google.com/document/d/1ua446Zrvog9b6C1Hugi0nMQv6-rsDSA5dzYWQEzj12E/edit for details.