This isn’t exactly stopping the Boring Company or Loop from making its promises, is it?