this afternoon's progress on R1!

modified:   PartialDelay.agda