progress on copy-fib big-ohness, with a rough proof and a few (likely true) admits