Moin, moin. True, it has been some time ;-)
It's good to hear, it is already in the whitepaper, still MORE advice to use it, would do no harm. Just to write down something in a whitepaper doesn't lead to that end (I heard about that at some point in the past)
Moin my friend! Been a long time. If you have a look at their white paper, their goal is to use SMT
Moin, moin. True, it has been some time ;-)
It's good to hear, it is already in the whitepaper, still MORE advice to use it, would do no harm. Just to write down something in a whitepaper doesn't lead to that end (I heard about that at some point in the past)