We have one, though it's incorrectly implemented in `Claims`.