Lopp agrees with most of the work, with major objections to the specifics of how to secure other data using bitcoin network. It seems like BitVM is an example of using bitcoin to prove off chain states as true or false.