Grhmph spaces are allowed #109