Logic Validation