A point of pure class from @felixaliassime