worked on proof of R1 for Delay and remembered to include monad changes this time.