Francesco Ciurlo: Abstraction to the point of