A code is valid for a card. If a code is valid for a card then John waits. "abc" is a valid name for Bill. If something is a valid name for something then Mary is a clerk.