https://1library.org/document/yj74n92p-formal-inconsistency-and-evolutionary-databases-walter-a-carnielli.html