@lambdacalculus that was a great talk!