Reference to synthetic guarded domain theory