About Irving's dream

[removed]