Comments from Alex Rosenberg (@rosenbergus)