Check-Racemeds Verification