But who is John Galt?