https://123dok.net/document/y6e43r0o-proof-rules-for-higher-order-store.html