Revert "Revert 58a02ba and implement a better scheme: We only let USED"

This reverts commit f8ced75032922573d69066b5e9e894b1d3f1cf7d.