https://www.brothers-brick.com/2021/07/13/is-there-this-much-room-in-your-mushroom/