Lazy cards weren't implemented robustly, so use non-lazy cards for now (maybe find a better solution sometimes)