let
isdef (r,_) = !r <>
None