Picture based on slides of Andrej Bauer.