let
find x = check x; find x