So more stuff happens with this approach but how do you know what it generates is correct?