rewrite that does't use diffs instead walks by faith