On the roadmap
1Discard-tracking drill
2Safe-discard inference
3Knock-or-hold judge