let add x = check x; add x