First, and perhaps most importantly, they adopted a principal of no human -- coding, which has deep implications to their approach. They didn't say this explicitly, but it's not just the coding that they are attempting to remove humans from. They're trying to automate everything around the specification, development, and verification of an app. So, yeah, no human -- code review and no human -- app verification, too. They are even trying to reduce the amount of app specification that humans must do, too.