18:50 Designs for the L4 Contract Programming Language Based on Deontic Modal Logic Ethereum Foundation