Create IsValid.c