Waiting for the next formal system of logic to emerge — Deca