"Are you familiar with Laver?"