smaller theory-testing with pullCard()