I was expecting blockchain smart contracts being composed somehow using logical operations. That would have been kind of cool, as someone forced to become a cryptocurrency hater. Silly of me, really, to think they had started paying attention to PLT principles. :)