https://revisiontown.com/axiomatic-systems/