Verification against EU Law