https://slife.org/formal-science/