Source: https://indico.math.cnrs.fr/event/1276/contributions/116/attachments/99/106/android_part3.pdf