https://9dok.net/document/qo5vko9k-arbitrary-grounding.html