Waiting for the next formal system of logic to emerge by Marko Zubak | Verse